/*
 * DIM-SUM操作系统 -- 体系架构定时器头文件
 *
 * Copyright (C) 2023 国科础石(重庆)软件有限公司
 *
 * 作者: Dong Peng <w-pengdong@kernelsoft.com>
 *
 * License terms: GNU General Public License (GPL) version 3
 *
 */

#ifndef __CLKSOURCE_RISCV_ARCH_TIMER_H
#define __CLKSOURCE_RISCV_ARCH_TIMER_H

#include <dim-sum/types.h>

#ifndef __init

#define __init		(__section(.init.text) __cold notrace)

#endif
void riscv_timer_interrupt(void);
u32 arch_timer_get_rate(void);
void __init init_time_arch(void);
void __init init_timer_arch(void);

#endif /* __CLKSOURCE_RISCV_ARCH_TIMER_H */
